//#include "../../Utils/CUDAClauseVec.cuh"
//#include <vector>

using namespace std;

void yyparse_cnf();
